-
1 Условия теоремы
Русско-английский словарь по прикладной математике и механике > Условия теоремы
-
2 наши уравнения удовлетворяют всем предположениям теоремы 3
Универсальный русско-английский словарь > наши уравнения удовлетворяют всем предположениям теоремы 3
-
3 удовлетворять
(= удовлетворить) satisfy, meet, comply (with)• В параграфе 5 мы показываем, что наши уравнения удовлетворяют всем предположениям теоремы 3. - In Section 5 we show that our equations meet the hypotheses of Theorem 3.• Единственной возможностью одновременно удовлетворить обоим требованиям является... - The only way we can satisfy both requirements simultaneously is to...• Однако этот метод совершенно не удовлетворяет нашим целям. - This procedure, however, falls far short of our goal.• Одним из способов удовлетворить этим условиям является... - One way of satisfying these conditions is to...• Очевидно, что это не удовлетворяет... - This clearly does not satisfy...• Это не удовлетворяет нашим требованиям. - This does not satisfy our requirements.• Это требование наиболее просто можно удовлетворить... - This requirement is most simply met by...• Это условие может быть наиболее просто удовлетворено требованием, что... - This condition can be most easily satisfied by requiring that... -
4 При условиях теоремы
Русско-английский словарь по прикладной математике и механике > При условиях теоремы
-
5 Philosophy
And what I believe to be more important here is that I find in myself an infinity of ideas of certain things which cannot be assumed to be pure nothingness, even though they may have perhaps no existence outside of my thought. These things are not figments of my imagination, even though it is within my power to think of them or not to think of them; on the contrary, they have their own true and immutable natures. Thus, for example, when I imagine a triangle, even though there may perhaps be no such figure anywhere in the world outside of my thought, nor ever have been, nevertheless the figure cannot help having a certain determinate nature... or essence, which is immutable and eternal, which I have not invented and which does not in any way depend upon my mind. (Descartes, 1951, p. 61)Let us console ourselves for not knowing the possible connections between a spider and the rings of Saturn, and continue to examine what is within our reach. (Voltaire, 1961, p. 144)As modern physics started with the Newtonian revolution, so modern philosophy starts with what one might call the Cartesian Catastrophe. The catastrophe consisted in the splitting up of the world into the realms of matter and mind, and the identification of "mind" with conscious thinking. The result of this identification was the shallow rationalism of l'esprit Cartesien, and an impoverishment of psychology which it took three centuries to remedy even in part. (Koestler, 1964, p. 148)It has been made of late a reproach against natural philosophy that it has struck out on a path of its own, and has separated itself more and more widely from the other sciences which are united by common philological and historical studies. The opposition has, in fact, been long apparent, and seems to me to have grown up mainly under the influence of the Hegelian philosophy, or, at any rate, to have been brought out into more distinct relief by that philosophy.... The sole object of Kant's "Critical Philosophy" was to test the sources and the authority of our knowledge, and to fix a definite scope and standard for the researches of philosophy, as compared with other sciences.... [But Hegel's] "Philosophy of Identity" was bolder. It started with the hypothesis that not only spiritual phenomena, but even the actual world-nature, that is, and man-were the result of an act of thought on the part of a creative mind, similar, it was supposed, in kind to the human mind.... The philosophers accused the scientific men of narrowness; the scientific men retorted that the philosophers were crazy. And so it came about that men of science began to lay some stress on the banishment of all philosophic influences from their work; while some of them, including men of the greatest acuteness, went so far as to condemn philosophy altogether, not merely as useless, but as mischievous dreaming. Thus, it must be confessed, not only were the illegitimate pretensions of the Hegelian system to subordinate to itself all other studies rejected, but no regard was paid to the rightful claims of philosophy, that is, the criticism of the sources of cognition, and the definition of the functions of the intellect. (Helmholz, quoted in Dampier, 1966, pp. 291-292)Philosophy remains true to its classical tradition by renouncing it. (Habermas, 1972, p. 317)I have not attempted... to put forward any grand view of the nature of philosophy; nor do I have any such grand view to put forth if I would. It will be obvious that I do not agree with those who see philosophy as the history of "howlers" and progress in philosophy as the debunking of howlers. It will also be obvious that I do not agree with those who see philosophy as the enterprise of putting forward a priori truths about the world.... I see philosophy as a field which has certain central questions, for example, the relation between thought and reality.... It seems obvious that in dealing with these questions philosophers have formulated rival research programs, that they have put forward general hypotheses, and that philosophers within each major research program have modified their hypotheses by trial and error, even if they sometimes refuse to admit that that is what they are doing. To that extent philosophy is a "science." To argue about whether philosophy is a science in any more serious sense seems to me to be hardly a useful occupation.... It does not seem to me important to decide whether science is philosophy or philosophy is science as long as one has a conception of both that makes both essential to a responsible view of the world and of man's place in it. (Putnam, 1975, p. xvii)What can philosophy contribute to solving the problem of the relation [of] mind to body? Twenty years ago, many English-speaking philosophers would have answered: "Nothing beyond an analysis of the various mental concepts." If we seek knowledge of things, they thought, it is to science that we must turn. Philosophy can only cast light upon our concepts of those things.This retreat from things to concepts was not undertaken lightly. Ever since the seventeenth century, the great intellectual fact of our culture has been the incredible expansion of knowledge both in the natural and in the rational sciences (mathematics, logic).The success of science created a crisis in philosophy. What was there for philosophy to do? Hume had already perceived the problem in some degree, and so surely did Kant, but it was not until the twentieth century, with the Vienna Circle and with Wittgenstein, that the difficulty began to weigh heavily. Wittgenstein took the view that philosophy could do no more than strive to undo the intellectual knots it itself had tied, so achieving intellectual release, and even a certain illumination, but no knowledge. A little later, and more optimistically, Ryle saw a positive, if reduced role, for philosophy in mapping the "logical geography" of our concepts: how they stood to each other and how they were to be analyzed....Since that time, however, philosophers in the "analytic" tradition have swung back from Wittgensteinian and even Rylean pessimism to a more traditional conception of the proper role and tasks of philosophy. Many analytic philosophers now would accept the view that the central task of philosophy is to give an account, or at least play a part in giving an account, of the most general nature of things and of man. (Armstrong, 1990, pp. 37-38)8) Philosophy's Evolving Engagement with Artificial Intelligence and Cognitive ScienceIn the beginning, the nature of philosophy's engagement with artificial intelligence and cognitive science was clear enough. The new sciences of the mind were to provide the long-awaited vindication of the most potent dreams of naturalism and materialism. Mind would at last be located firmly within the natural order. We would see in detail how the most perplexing features of the mental realm could be supported by the operations of solely physical laws upon solely physical stuff. Mental causation (the power of, e.g., a belief to cause an action) would emerge as just another species of physical causation. Reasoning would be understood as a kind of automated theorem proving. And the key to both was to be the depiction of the brain as the implementation of multiple higher level programs whose task was to manipulate and transform symbols or representations: inner items with one foot in the physical (they were realized as brain states) and one in the mental (they were bearers of contents, and their physical gymnastics were cleverly designed to respect semantic relationships such as truth preservation). (A. Clark, 1996, p. 1)Socrates of Athens famously declared that "the unexamined life is not worth living," and his motto aptly explains the impulse to philosophize. Taking nothing for granted, philosophy probes and questions the fundamental presuppositions of every area of human inquiry.... [P]art of the job of the philosopher is to keep at a certain critical distance from current doctrines, whether in the sciences or the arts, and to examine instead how the various elements in our world-view clash, or fit together. Some philosophers have tried to incorporate the results of these inquiries into a grand synoptic view of the nature of reality and our human relationship to it. Others have mistrusted system-building, and seen their primary role as one of clarifications, or the removal of obstacles along the road to truth. But all have shared the Socratic vision of using the human intellect to challenge comfortable preconceptions, insisting that every aspect of human theory and practice be subjected to continuing critical scrutiny....Philosophy is, of course, part of a continuing tradition, and there is much to be gained from seeing how that tradition originated and developed. But the principal object of studying the materials in this book is not to pay homage to past genius, but to enrich one's understanding of central problems that are as pressing today as they have always been-problems about knowledge, truth and reality, the nature of the mind, the basis of right action, and the best way to live. These questions help to mark out the territory of philosophy as an academic discipline, but in a wider sense they define the human predicament itself; they will surely continue to be with us for as long as humanity endures. (Cottingham, 1996, pp. xxi-xxii)10) The Distinction between Dionysian Man and Apollonian Man, between Art and Creativity and Reason and Self- ControlIn his study of ancient Greek culture, The Birth of Tragedy, Nietzsche drew what would become a famous distinction, between the Dionysian spirit, the untamed spirit of art and creativity, and the Apollonian, that of reason and self-control. The story of Greek civilization, and all civilizations, Nietzsche implied, was the gradual victory of Apollonian man, with his desire for control over nature and himself, over Dionysian man, who survives only in myth, poetry, music, and drama. Socrates and Plato had attacked the illusions of art as unreal, and had overturned the delicate cultural balance by valuing only man's critical, rational, and controlling consciousness while denigrating his vital life instincts as irrational and base. The result of this division is "Alexandrian man," the civilized and accomplished Greek citizen of the later ancient world, who is "equipped with the greatest forces of knowledge" but in whom the wellsprings of creativity have dried up. (Herman, 1997, pp. 95-96)Historical dictionary of quotations in cognitive science > Philosophy
-
6 условие
(= ограничение, предположение, допущение) condition, term, hypotheses, predicate• Безусловно, необходимо найти условия, при которых... - It is, of course, necessary to determine conditions under which...• Более общие условия здесь обсуждаться не будут, однако мы можем сказать... - More general conditions will not be discussed here, but it may be said that...• Более того, существующие доказательства при некоторых дополнительных условиях... - Moreover, existing proofs under certain additional assumptions that...• В общем случае эти условия не могут удовлетворяться одновременно. - In general, these conditions cannot be simultaneously satisfied.• В условиях теоремы 3 нормирующий член N содержится в... - Under the circumstances of Proposition 3 the normalizer N is contained in the...• Геометрически это условие имеет следующий смысл. - Geometrically the condition has the following meaning.• Далее выведем необходимое условие существования... - Let us next deduce a necessary condition for the existence of...• Данное условие служит в качестве описания... - This condition serves as a description of...• Данное условие является достаточным. - The condition is sufficient.• Данное условие является необходимым. - The condition is necessary.• Если данное условие выполнено, то... - If this condition is fulfilled, then...• Если эти условия не удовлетворяются, то... - If these conditions are not satisfied, then...• Задавая соответствующие условия... - Given proper conditions,...• Замечательным является то, что эти необходимые условия одновременно служат достаточными. - The remarkable fact is that these necessary conditions are also sufficient.• Здесь мы наложили условия на... - Here we have imposed conditions on...• Из последнего условия вытекает, что... - Prom the latter condition it follows that...• Известно одно менее ограничительное достаточное условие. - A less restrictive sufficient condition is known.• Легко видеть, что это условие является необходимым. - It is easy to see that this condition is a necessary one.• Молено было бы и не сообщать, что все это справедливо при условии, что... - All this, needless to say, is based on the premise that...• Можно вывести очень простое условие того, что... - It is possible to derive a very simple condition that...• Можно показать, что они (условия) являются как достаточными, так и необходимыми. - It may be shown that they are sufficient as well as necessary.• Можно показать, что это эквивалентно условию, что... - This can be shown to be equivalent to the condition that...• Мы предполагаем, что это условие выполнено. - We assume this condition to be fulfilled.• Мы увидим, что эти условия могут быть выполнены при использовании... - We shall see that these conditions can be met using....• Нам необходимо еще одно условие, чтобы определить... - We need one more condition to determine...• Необходимое дополнительное условие доставляется (чем-л). - The required additional condition is provided by...• Обратно, это условие является достаточным. - Conversely, this condition is sufficient.• Один общий класс физически осмысленных условий дается соотношением (2.7). - A general class of physically meaningful conditions is given in (2.7).• Одним из способов удовлетворения этим условиям является... - One way of satisfying these conditions is to...• Оставшееся условие (3) говорит здесь... - The remaining condition (3) reads here....• Относительно доказательства при менее ограничительных условиях смотри работу Смита [1]. - For a proof under less restrictive conditions, see Smith [1].• Очевидно, что это эквивалентно условию, что... - This is evidently equivalent to the condition that...• Подобным образом мы можем установить условие для... - Similarly, we can establish the condition for...• Последнее (из двух) условие вызывает проблемы, потому что... - The latter condition raises problems, because...• Последнее условие влечет за собой... - The latter condition implies that...• Поэтому мы должны добавить ряд дополнительных условий. - Consequently we have to add a number of supplementary conditions.• При каких условиях он существует? - Under what circumstances does it exist?• При любых условиях важно, чтобы... - Whatever the conditions, it is vital that...• При определенных условиях ограничение f(x) ф О может быть опущено. - In certain cases the restriction f(x) ф 0 can be omitted.• При сформулированных условиях мы можем... - Under the conditions stated, we can...• При таких условиях невозможно определить... - Under such circumstances it is impossible to find...• При этих условиях возможно... - Under these circumstances, it is possible to...; Under such conditions, it is possible that...• При этих условиях легко видеть, что... - With these stipulations, it is easily seen that...• При этих условиях мы по-прежнему можем использовать... - Under these circumstances we may still use...• Приняв данное условие, мы можем... - Under this restriction, we can...• Решение может существовать только при выполнении следующих условий. - A solution can exist only under the following conditions.• Следовательно это необходимое условие для... - This is therefore a necessary condition for...• Следовательно, мы получили необходимое и достаточное условие для... - Thus we have a necessary and sufficient condition for...• Следовательно, условия теоремы 1 выполнены, и мы заключаем, что... - The conditions of Theorem 1 are therefore satisfied and we conclude that...• Следовательно, эти условия необходимы для равновесия. - Hence these conditions are necessary for equilibrium.• Следующая теорема дает условия, при которых... - The following theorem gives conditions under which...• Сначала мы установим необходимость этих условий. - We first establish the necessity of the condition.• Сформулируем это условие более точно. - We state this requirement more precisely as follows.• Также могут налагаться (и) дополнительные условия на. х и у. - There may also be further conditions on x and У-• Теперь дадим необходимое и достаточное условие того, что... - We now give a necessary and sufficient condition for...• Теперь можно записать условие равновесия. - The condition for equilibrium can now be written.• Условие а - b приблизительно выполнено в любой задаче, где... - The condition a = b is approximately satisfied in any problem where...• Условие (1) не является необходимым для... - Condition (1) is by no means a necessary one for...• Условие, которое называется..., вытекает из потери... - A condition called... results from a loss of...• Условия, наложенные на X, могли бы быть менее ограничительны. - The conditions on X could be less restrictive.• Цель этой заметки указать, что при некоторых условиях... - The purpose of this note is to point out that, in certain circumstances, the mean...• Чтобы поставить задачу однозначно, требуется дополнительное условие. - A further condition is required to specify the problem uniquely.• Эти условия удовлетворяются для большинства... - These conditions are satisfied for most...• Эти условия являются лишь достаточными для того, чтобы исключить... - These conditions are just sufficient for the elimination of...• Это могло бы быть легко показано с использованием условия, что... - This may be shown readily by employing the condition that...• Это необходимые условия для... - These are the necessary conditions for...• Это последнее условие не является необходимым, если... - This last proviso is not needed when...• Это те (самые) условия, которые должны быть выполнены, если... - These are the conditions which must be met if...• Это условие должно быть выполнено. - This requirement must be fulfilled.• Это условие может быть выражено как... - This condition can be expressed as...• Это условие может быть наиболее просто удовлетворено требованием, что... - This condition can be most easily satisfied by requiring that...• Это условие получается проверкой... - This condition is obtained by examining...• Это условие согласуется с... - This condition is consistent with...• Это эквивалентно условию, что... - This is equivalent to the requirement that... -
7 При условиях теоремы
Универсальный русско-английский словарь > При условиях теоремы
-
8 условие
1) General subject: clause, condition, contract, enaction, enactment, if, provision, proviso, requirement, requisition, reserve, stipulation, whereas, factor2) Naval: rider, transaction3) Medicine: indication4) American: string5) Military: case, clause (напр. договора), modality, (техническое) requirement7) Construction: schedule8) Mathematics: antecedent, assumption, constraint (ограничивающее), hypotheses, hypothesis (of a theorem), law, limitation, predicate, restraint, restriction10) Railway term: configuration, specification13) Accounting: convention, covenant, implication, qualification (в тексте соглашения, делающее соглашение недействительным при несоблюдении определённых положений)14) Architecture: circumstance15) Diplomatic term: provision (договора, закона и т.п.)17) Information technology: assertion, test condition18) Oil: qualification, setting19) Astronautics: COND21) Business: reservation, term and condition22) Sakhalin R: terms and conditions24) Makarov: prerequisite (необходимое), understanding25) oil&gas: term (соглашения или контракта)26) Microsoft: validation rule -
9 утверждать
state, assert, affirm, predicate, approve, argue, maintain• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• В действительности можно утверждать, что... - In fact it can be asserted that...• В первую очередь мы утверждаем, что... - We shall first give a statement of...• Гипотеза Римана утверждает, что... - Riemann's hypothesis states that...• Гипотеза Смита утверждает, что... - The Smith conjecture states that...• Гипотеза утверждает, что... - The hypotheses holds that...• Далее мы утверждаем, что... - Next we assert that...• Данный принцип утверждает, что... - This principle states that...• Другими словами, можно было бы утверждать, что... - In other words, it could be argued that...• Иногда говорят, что... - It is sometimes said that...• Иногда утверждали, что... - It has been argued on occasion that...• Иногда утверждают, что... - It is sometimes argued that...• Как мы утверждали в самом начале,... - As we stated at the outset,...• Мы снова утверждаем, что... - Again we argue that...; We argue, in the same way as before, that...• По-видимому есть основания утверждать, что... - It seems reasonable to say that...• Следовательно, мы можем достоверно утверждать, что... - We can therefore speak without ambiguity of...• Теперь мы утверждаем, что... - We now assert that...• Ученые утверждают, что... - The scientists argue that...• Хорошо известная теорема из математического анализа утверждает, что... - A well-known theorem of analysis states that...• Это важный результат. Он утверждает, что... - This is an important result. It says that...• Это уравнение просто утверждает, что... - This equation simply states that... -
10 формулировка
formula, statement, formulation(= переформулировать)... - It will be useful to have a reformulation of...• Иногда оказывается полезной следующая альтернативная формулировка. - The following alternative formulation is sometimes useful.• Мы дадим несколько эквивалентных формулировок (чего-л). - We will give some equivalent formulations of...• Мы начнем с формулировки одной леммы - We begin with a lemma.• Наиболее точной формулировкой этих свойств является следующая. - The most concise statement of these properties is as follows.• Одна эквивалентная формулировка может быть сделана в терминах (чего-л). - An equivalent formulation may be given in terms of. '..• Относительно точной формулировки всех гипотез и заключений мы отсылаем к статье [3]. - For a precise wording of all hypotheses and conclusions we refer to the paper [3].• Формулировка теоремы требует модификации, если... - The statement of the theorem needs modification if...• Целью более абстрактной формулировки (6) является то, что... - The aim of the more abstract formulation (6 is to... -
11 теория вероятностей
1. probability theory2. law of probability3. theory of chancesРусско-английский большой базовый словарь > теория вероятностей
См. также в других словарях:
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
Theorem, Bayes — A probability principle set forth by the English mathematician Thomas Bayes (1702 1761). Bayes theorem is of value in medical decision making and some of the biomedical sciences. Bayes theorem is employed in clinical epidemiology to determine the … Medical dictionary
theorem — A proposition that can be tested, and can be established as a law or principle. SEE ALSO: law, principle, rule. Bayes t. the impacts of new data on the evidential merits of competing scientific hypotheses are compared by computing for each the… … Medical dictionary
Bayes's theorem — Theorem in probability theory. Thomas Bayes (1702–61) was an English clergyman, whose An Essay towards Solving a Problem in the Doctrine of Chances occurs in two memoirs presented by Price (Bayes having died), in Philosophical Transactions of… … Philosophy dictionary
Morera's theorem — If the integral along every C is zero, then ƒ is holomorphic on D. In complex analysis, a branch of mathematics, Morera s theorem, named after Giacinto Morera, gives an important criterion for proving that a function is holomorphic. Morera s… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Peetre theorem — In mathematics, the (linear) Peetre theorem is a result of functional analysis that gives a characterisation of differential operators in terms of their effect on generalized function spaces, and without mentioning differentiation in explicit… … Wikipedia
Mean value theorem — For the theorem in harmonic function theory, see Harmonic function#Mean value property. Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables … Wikipedia
Poincaré–Birkhoff–Witt theorem — In the theory of Lie algebras, the Poincaré–Birkhoff–Witt theorem (Poincaré (1900), G. D. Birkhoff (1937), Witt (1937); frequently contracted to PBW theorem) is a result giving an explicit description of the universal enveloping algebra of a Lie… … Wikipedia
Hahn–Banach theorem — In mathematics, the Hahn–Banach theorem is a central tool in functional analysis. It allows the extension of bounded linear operators defined on a subspace of some vector space to the whole space, and it also shows that there are enough… … Wikipedia
Implicit function theorem — In the branch of mathematics called multivariable calculus, the implicit function theorem is a tool which allows relations to be converted to functions. It does this by representing the relation as the graph of a function. There may not be a… … Wikipedia
